ma-has-sends(M;k) == deq-member(KindDeq;k;map(p.1of(p);1of(1of(2of(2of(2of(2of(2of(M))))))))) 

latex

Definitions	b, deq-member(eq;x;L), KindDeq, map(f;as), 1of(t), 2of(t)
FDL editor aliases	ma-has-sends